causal{-}weak{-}predecessor(${\it es}$;$p$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). ($\uparrow$can{-}apply($p$;$e$)) $\Rightarrow$ es{-}causle(${\it es}$;do{-}apply($p$;$e$);$e$)